Efficient Explicit Formulae for Genus 2 Hyperelliptic Curves over Prime Fields and Their Implementations

We analyze all the cases and propose the corresponding explicit formulae for computing 2D1 + D2 in one step from given divisor classes D1 and D2 on genus 2 hyperelliptic curves defined over prime fields. Compared with the naive method, the improved formula can save two field multiplications and three field squarings each time when the arithmetic is performed in the most frequent case. Furthermore, we present a variant which trades one field inversion with fourteen field multiplications and two field squarings by utilizing the Montgomery’s trick to combine the two inversions. Experimental results show that our algorithms can save up to 13% of the time to perform a scalar multiplication on a general genus 2 hyperelliptic curve over a prime field, when compared with the best known general methods.